Nuprl Definition : xxequiv_rel
13,42
postcript
pdf
compound
EquivRel(
T
;
R
) == refl(
T
;
R
) & trans(
T
;
R
) & sym(
T
;
R
)
latex
Up
gen
algebra
1
Wellformedness Lemmas
xxequiv
rel
wf
Definitions
refl(
T
;
E
)
,
P
&
Q
,
trans(
T
;
E
)
,
sym(
T
;
E
)
origin